|
#2
A Survey of Recent Advances in SAT-Based Formal VerificationHans Kleine Büning, Theodor Lettmann
181 Kb
#3
CSL '88 Computer Science Logic 2 confEgon Börger, Hans Kleine Büning, Michael M. RichterКатегория: Cs_Computer science, CsLn_Lecture notes
2.87 Mb
#4
Computer Science Logic, 6 conf., CSL '92Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. RichterКатегория: Cs_Computer science, CsLn_Lecture notes
3.83 Mb
#5
Computer Science Logic, 4 conf., CSL '90Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang SchönfeldКатегория: Cs_Computer science, CsLn_Lecture notes
3.67 Mb
#6
CSL '87 Computer Science Logic 1 confEgon Börger, Hans Kleine Büning, Michael M. RichterКатегория: Cs_Computer science, CsLn_Lecture notes
3.20 Mb
#7
Computer Science Logic, 5 conf., CSL '91Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. RichterКатегория: Cs_Computer science, CsLn_Lecture notes
3.80 Mb
|
|